Admissible rule - PDFSEARCH.IO - Document Search Engine

Admissible rule
Results: 97

#	Item
31	17 MDL in Context In this chapter, we compare refined MDL to various other statistical inference methods. We start in Section 17.1, with a comparison between MDL and various frequentist approaches. Section 17.2 consider Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2007-08-24 08:53:49 Estimation theory Statistical inference Frequentist inference Likelihood principle Bayesian inference Minimum message length Admissible decision rule Bayes estimator Principle of maximum entropy Statistics Statistical theory Bayesian statistics
32	αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:22 Models of computation Admissible rule Modal logic Symbol Lambda calculus Unification Structure Mathematical logic Mathematics Logic
33	αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: webyrd.net Language: English - Date: 2013-12-02 09:16:25 Theoretical computer science Model theory Models of computation Admissible rule Modal logic Lambda calculus Symbol Unification Support Mathematical logic Mathematics Logic
34	Nonuniform Coercions via Unification Hints Claudio Sacerdoti Coen Enrico Tassi Department of Computer Science, University of Bologna Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2011-03-22 11:23:42 Automated theorem proving Logic programming Unification ALGOL 68 State space Admissible rule Programming language theory Mathematical logic Software engineering
35	1 Chapter 5 Bayes Methods and Elementary Decision Theory 1. Elementary Decision Theory Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2010-02-24 17:55:21 Decision theory Bayesian statistics Econometrics Bayes estimator Loss function Conjugate prior Sufficient statistic Admissible decision rule Parametric model Statistics Statistical theory Estimation theory
36	Commonwealth Records in Evidence 2012 revision RkS Add to Reading List Source URL: naa.gov.au Language: English - Date: 2014-08-01 02:52:03 Hearsay Best evidence rule Rules of evidence Business record Admissible evidence Exclusionary rule Hearsay in English law Hearsay in United States law Law Evidence law Evidence
37	POCKET EVIDENCE LAW by Justice Christopher Beale QC (last updated[removed]) Add to Reading List Source URL: www.judicialcollege.vic.edu.au Language: English - Date: 2015-02-11 23:53:20 Evidence Relevance Exclusionary rule Admissible evidence Rules of evidence Witness Hearsay in English law Hearsay in United States law Law Evidence law Hearsay
38	Sheffer’s Stroke: a study in proof-theoretic harmony Stephen Read Department of Logic and Metaphysics University of St Andrews Fife KY16 9AL Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2012-06-21 07:05:54 Mathematics Boolean algebra Proof theory Deduction Logical connectives Natural deduction Admissible rule Sheffer stroke Sequent calculus Logic Mathematical logic Propositional calculus
39	The agent programming language Meta-APL Thu Trang Doan, Natasha Alechina, and Brian Logan University of Nottingham, Nottingham NG8 1BB, UK {ttd,nza,bsl}@cs.nott.ac.uk Abstract. We describe a novel agent programming lang Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-05-09 09:53:52 Mathematics Homotopy theory Symbol Admissible rule Valuation
40	The agent programming language Meta-APL Thu Trang Doan, Natasha Alechina, and Brian Logan University of Nottingham, Nottingham NG8 1BB, UK {ttd,nza,bsl}@cs.nott.ac.uk Abstract. We describe a novel agent programming lang Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 10:35:21 Mathematics Homotopy theory Symbol Admissible rule Valuation